Footprints in Local Reasoning
نویسندگان
چکیده
منابع مشابه
Footprints in Local Reasoning
Local reasoning about programs exploits the natural local behaviour common in programs by focussing on the footprint that part of the resource accessed by the program. We address the problem of formally characterising and analysing the footprint notion for abstract local functions introduced by Calcagno, O’Hearn and Yang. With our definition, we prove that the footprints are the only essential ...
متن کاملChildren's Reasoning about Geometric Footprints
We explored preschool’s children’s understanding of the correspondence of 3-D objects and 2-D faces in a novel task. In the “footprints” task children were shown a geometric solid, such as a pyramid or a prism, and asked to select which shape the solid would make if it were dipped in ink and stamped on a piece of paper. Through a latent class analysis of children’s errors we found children diff...
متن کاملMolecular footprints of local adaptation in two Mediterranean conifers.
This study combines neutrality tests and environmental correlations to identify nonneutral patterns of evolution in candidate genes related to drought stress in two closely related Mediterranean conifers, Pinus pinaster Ait. and P. halepensis Mill. Based on previous studies, we selected twelve amplicons covering six candidate genes that were sequenced in a large sample spanning the full range o...
متن کاملOn Local Reasoning in Verification
We present a general framework which allows to identify complex theories important in verification for which efficient reasoning methods exist. The framework we present is based on a general notion of locality. We show that locality considerations allow us to obtain parameterized decidability and complexity results for many (combinations of) theories important in verification in general and in ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Logical Methods in Computer Science
سال: 2009
ISSN: 1860-5974
DOI: 10.2168/lmcs-5(2:4)2009